Add missing mapped type indexed access constraint#47370
Conversation
|
@typescript-bot test this |
|
Heya @DanielRosenwasser, I've started to run the perf test suite on this PR at 8223920. You can monitor the build here. Update: The results are in! |
|
Heya @DanielRosenwasser, I've started to run the extended test suite on this PR at 8223920. You can monitor the build here. |
|
Heya @DanielRosenwasser, I've started to run the parallelized Definitely Typed test suite on this PR at 8223920. You can monitor the build here. |
|
Heya @DanielRosenwasser, I've started to run the parallelized community code test suite on this PR at 8223920. You can monitor the build here. |
|
So, one issue I'm seeing with the new constraint rules is this: type ArgMap = { a: { x: number }, b: { y: string } };
type Func<K extends keyof ArgMap> = (x: ArgMap[K]) => void;
type Funcs = { [K in keyof ArgMap]: Func<K> };
function ff<K extends keyof ArgMap>(x: Funcs[K], y: Funcs[keyof ArgMap]) {
x = y; // Error
y = x; // Was ok, now errors
}This is because for type |
|
@DanielRosenwasser Here they are:Comparison Report - main..47370
System
Hosts
Scenarios
Developer Information: |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
The user suite test run you requested has finished and failed. I've opened a PR with the baseline diff from master. |
|
Latest commits fix the issue I mentioned above. We know explore both possible constraints. |
|
@typescript-bot perf test faster |
|
Heya @ahejlsberg, I've started to run the abridged perf test suite on this PR at fcde8a2. You can monitor the build here. Update: The results are in! |
|
Heya @ahejlsberg, I've started to run the parallelized Definitely Typed test suite on this PR at fcde8a2. You can monitor the build here. |
|
Heya @ahejlsberg, I've started to run the extended test suite on this PR at fcde8a2. You can monitor the build here. |
|
@typescript-bot user test this inline |
|
Heya @ahejlsberg, I'm starting to run the inline community code test suite on this PR at fcde8a2. Hold tight - I'll update this comment with the log link once the build has been queued. |
|
@ahejlsberg Here they are:Comparison Report - main..47370
System
Hosts
Scenarios
Developer Information: |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
@typescript-bot user test this |
|
Heya @ahejlsberg, I've started to run the parallelized community code test suite on this PR at fcde8a2. You can monitor the build here. |
|
Tests and performance look good. I'm going to merge this. |
Fixes #47368.